منابع مشابه
Infinitely many maximal primitive positive clones in a diagonalizable algebra
We present a rather simple example of infinitely many maximal primitive positive clones in a diagonalizable algebra, which serve as an algebraic model for the provability propositional logic GL. Mathematics subject classification: 03F45, 03G25, 06E25.
متن کاملSome rank equalities for finitely many tripotent matrices
A rank equality is established for the sum of finitely many tripotent matrices via elementary block matrix operations. Moreover, by using this equality and Theorems 8 and 10 in [Chen M. and et al. On the open problem related to rank equalities for the sum of finitely many idempotent matrices and its applications, The Scientific World Journal 2014 (2014), Article ID 702413, 7 page...
متن کاملOn solubility of groups with finitely many centralizers
For any group G, let C(G) denote the set of centralizers of G.We say that a group G has n centralizers (G is a Cn-group) if |C(G)| = n.In this note, we prove that every finite Cn-group with n ≤ 21 is soluble andthis estimate is sharp. Moreover, we prove that every finite Cn-group with|G| < 30n+1519 is non-nilpotent soluble. This result gives a partial answer to aconjecture raised by A. Ashrafi in ...
متن کاملThe Submaximal Clones on the Three-element Set with Finitely Many Relative R-classes
For each clone C on a set A there is an associated equivalence relation analogous to Green’s R-relation, which relates two operations on A if and only if each one is a substitution instance of the other using operations from C. We study the maximal and submaximal clones on a three-element set and determine which of them have only finitely many relative R-classes.
متن کاملFinite Models and Finitely Many
This paper is a survey of results on nite variable logics in nite model theory. It focusses on the common underlying techniques that unite many such results.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the American Mathematical Society
سال: 1987
ISSN: 0002-9939
DOI: 10.1090/s0002-9939-1987-0908642-5